Rigorous Design of PartitionAware Total Order Broadcast System using EventB
نویسندگان
چکیده
منابع مشابه
Rigorous Design of Partition-Aware Total Order Broadcast System using Event-B
In distributed system, the sites communicate with each other by exchange of messages. A total order broadcast is a reliable broadcast that ensures delivery of messages to the sites in the same order. For the fault tolerant applications, ordering algorithm must support the network partitions and site failure. In this paper, we present a formal model of total order broadcast system in the presenc...
متن کاملDynamic Switching of Total-Order Broadcast Protocols
The exchange of total order broadcast protocols for dependable applications has been already studied and solved in several previous papers. To this end, some switching mechanism is needed. All these solutions have been inspired in a two-phase algorithm. The first phase is needed to agree on the need of change, stopping then the old protocol. Whilst the second one is needed to wait for the deliv...
متن کاملRigorous Design of Moving Sequencer Atomic Broadcast with Malicious Sequencer
This article investigates a mechanism to tolerate malicious nature of sequencer in moving sequencer based atomic broadcast in distributed systems. Various mechanisms are already given for moving sequencer based atomic broadcast like RMP [1], DTP [2], Pin Wheel [3] and mechanism proposed by Srivastava et al. [4]. But none of these mechanisms are efficient to tolerate different failure. Scholarly...
متن کاملRigorous Design of moving Sequencer Omission Tolerant Atomic Broadcast
This article investigates a mechanism to tolerate omission failure in moving sequencer based atomic broadcast at distributed systems. Various mechanisms are already given for moving sequencer based atomic broadcast like RMP [1], DTP [2], Pin Wheel [3] and mechanism proposed by [4]. But none of these mechanisms are efficient to tolerate different failure. Scholarly observation is that, these alg...
متن کاملRigorous Component-based System Design
Rigorous system design requires the use of a single powerful component framework allowing the representation of the designed system at different levels of detail, from application software to its implementation. This is essential for ensuring the overall coherency and correctness. The paper introduces a rigorous design flow based on the BIP (Behavior, Interaction, Priority) component framework ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Computer Applications
سال: 2011
ISSN: 0975-8887
DOI: 10.5120/3123-4297